Free shipping on all orders! No minimum purchase required.
Logic Program Synthesis and Transformation
by Yves Deville (Editor)
by Yves Deville (Editor), British Computer Society Staff (Contribution by)